Esterel Technologies and ENSCO Inc. Team on Products and Services for Safety-Critical and Mission-Critical Applications
MOUNTAIN VIEW, California; ENDICOTT, New York; FALLS CHURCH, Virginia; ELANCOURT, France – April 27, 2004 – Esterel Technologies and ENSCO, Inc. today announced that the two companies will collaborate on sales, marketing and engineering services for the Esterel Technologies product, SCADE Suite (Safety Critical Application Development Environment), which enables specification, simulation, verification and automatic code generation for safety critical applications. SCADE Suite is the corporate choice of Airbus and other leading organizations with requirements to develop high reliability embedded software including applications that must be certified under the strict avionics software development guideline, DO-178B, Level A.
Esterel Technologies' products enable the developers of safety and mission-critical applications to design correct-by-construction real time software for avionics, defense and space. With SCADE users can create graphical, unambiguous and deterministic specifications. SCADE’s features include its advanced state machine module, SAFE State Machines, and its formal proof module Design Verifier* which allows developers to formally prove safety properties at the model level. Users benefit from the DO-178 B, Level A qualifiable code generation capability of KCG by allowing them to eliminate much of the low-level testing requirement thus dramatically cutting project cost.
“We are very pleased to enter into this partnership,” said Jean-Marc Talbot, CEO of Esterel Technologies, Inc. “Our customer base is expanding rapidly and having the ability to work closely with ENSCO, one of the leading engineering companies servicing the safety and mission-critical market, will greatly benefit our users.”
ENSCO, Inc. provides engineering, science and advanced technology services for mission-critical software development and engineering systems for avionics operations and control. ENSCO also designs sophisticated computer models that make NASA launches more reliable; develops monitoring systems that safeguard government facilities and national landmarks; and provides safety assurance and operational efficiency for the Federal Railroad Administration and rail industry.
“This alliance will enable both companies to expand their ability to serve the growing and complex software development market,” said Jay Ficarro, ENSCO’s deputy division manager for avionics. “Esterel is the provider of the only embedded dynamic systems software code generator qualified at Level A of DO-178B for airborne software applications and ENSCO is one of the largest safety-critical software services firms in the U.S.”
*Design Verifier is based on the Prover Plug-In, trademark of Prover Technologies AB in Sweden, the United States and other countries.
About Esterel Technologies
Esterel Technologies products and services solve the problems of high reliability embedded design creation, validation and verification with complete tool suites supported by the power of abstraction and synchronous languages. Esterel Technologies’ tools create unambiguous specifications that produce correct-by-construction, automated, implementation in software and/or hardware. Today, SCADE Suite™ is the de-facto standard for the creation of safety-critical embedded software in the civilian avionics industry and SCADE Drive™ is the emerging standard for the creation of critical-embedded software in the automotive industry. Esterel Studio™ allows embedded hardware designers to create a golden specification model that can be automatically implemented in RTL, C or Ada.
Esterel Technologies is a privately held company with headquarters in Mountain View, California USA, and Elancourt, France and offices in Germany, the UK and China. For additional information please contact the Esterel Technologies website at www.esterel-technologies.com.
About ENSCO, Inc.
ENSCO, Inc. provides engineering, science and advanced technology solutions for the defense, security, transportation, environment, aerospace and intelligent automation industries. Founded in 1969, ENSCO is a $90 million, 725-person privately-owned corporation. Headquartered in Falls Church, Va., ENSCO has major offices in Springfield, Va., Endicott, N.Y., Melbourne and Cocoa Beach, Fla., and field offices around the United States and in Beijing, China. For additional information, visit ENSCO’s Web site at www.ensco.com.
Contacts:
Esterel Technologies
Public Relations: North America
Linda Prowse Fosler
650-641-1706
linda.prowse-fosler@esterel-technologies.com
Public Relations: Europe
Jeremy Carne, Carne Communications
+44 (0)20 7384 2500
jeremy@carne.com
ENSCO, Inc.
Susan Williams, Director of Public Relations
703-321-4405
williams.susan@ensco.com
